Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
171	Table of Contents Foreword ..............................................................................................................................................1 1. Introduction.................................. Add to Reading List Source URL: agora.metaphysica.skaut.org Language: English - Date: 2002-11-18 13:27:44 Modal logic Philosophical logic Possibility Non-classical logic Empiricism Possible world Entailment A priori and a posteriori Intensional logic Logic Philosophy Mathematical logic
172	Efficient Implementation of Pattern Database Heuristics for Classical Planning Silvan Sievers and Manuela Ortlieb Malte Helmert University of Freiburg, Germany Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Theoretical computer science Algorithm Mathematical logic Admissible heuristic Shortest path problem Automated planning and scheduling Planner Heuristics Mathematics Applied mathematics
173	DL-Learner Manual Jens Lehmann February 13, 2015 DL-Learner is a machine learning framework for OWL and description logics. It includes several learning algorithms and is easy to extend. DLLearner widens the scope of Ind Add to Reading List Source URL: dl-learner.org Language: English - Date: 2015-02-13 08:51:20 Artificial intelligence Description logic Information science Non-classical logic Web Ontology Language Semantic reasoner Machine learning Inductive logic programming Semantic Web Science Information
174	c ACM In ACM Computing Surveys, Vol. 30, No. 3, September 98. Optimizing Modular Logic Languages Michele Bugliesi Dipartimento di Matematica Pura e Applicata, Universit`a di Padova Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:38:21 Logic programming Non-classical logic Substructural logic Programming language Mathematical logic Logic Prolog Actor model Linear logic Software engineering Computing Programming language theory
175	Schedule February 22, 2011 This schedule is subject to revision. Check the course website (http://johnmacfarlane.netfor current reading and writing assignments. Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-22 14:55:51 Non-classical logic Propositional calculus Binary operations Conditionals Many-valued logic Relevance logic Entailment Material conditional Indicative conditional Logic Mathematical logic Philosophical logic
176	Program KRAMASThe slots for the KRAMAS workshop are strictly limited to 25 minutes per paper. After 20 minutes, the session chairs will indicate that presentation time is over, leaving 5 minutes for questions. 8.4 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2008-09-04 07:34:00 Knowledge Modal logic Non-classical logic Philosophical logic Epistemic modal logic Argumentation theory Reason Logic Science Arguments
177	Under-Approximation Refinement for Classical Planning Manuel Heusner and Martin Wehrle and Florian Pommerening and Malte Helmert University of Basel, Switzerland {manuel.heusner,martin.wehrle,florian.pommerening,malte.he Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-03-24 03:34:57 Planning Heuristic function Automated planning and scheduling Mind Science Neuropsychology Algorithm Mathematical logic Theoretical computer science
178	Trusting Semi-structured Web Data Davide Ceolin supervised by Guus Schreiber, Wan Fokkink and Willem Robert van Hage VU University, Amsterdam, The Netherlands Abstract. The growth of the Web brings an uncountable amount Add to Reading List Source URL: eswc-conferences.org Language: English - Date: 2015-05-13 12:33:38 Data Reputation management Sociology Semantic Web Semantic similarity Probabilistic logic Trust Computational trust Statistics Information Science Non-classical logic
179	Short CV of John-Jules Meyer de dato August 24, 2014 J.-J. Ch. Meyer, bornin The Hague, The Netherlands Education: 1973: Gymnasium , Aloysiuscollege, The Hague Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2014-08-26 03:43:19 Dov Gabbay Logicians Non-classical logic
180	Probabilistic Temporal Logics via the Modal Mu-Calculus Rance Cleaveland a S. Purushothaman Iyer b Murali Narasimha c a Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2006-02-09 15:25:09 Theoretical computer science Temporal logic Model theory Linear temporal logic Logic in computer science Probabilistic logic Probabilistic bisimulation Interpretation Substitution Logic Mathematical logic Non-classical logic

UPDATE